Representing knowledge with theories about theories
نویسندگان
چکیده
منابع مشابه
Representing Multiple Theories P
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumptions. Contexts have been proposed as an effective solution to this problem by providing a mechanism for explicitly stating the assumptions underlying a domain theory. In addition, contexts can be used to focus reasoning...
متن کاملTheories of knowledge organization — theories of knowledge
Any ontological theory commits us to accept and classify a number of phenomena in a more or less specific way – and vice versa: a classification tends to reveal the theoretical outlook of its creator. Objects and their descriptions and relations are not just “given” but determined by theories. Knowledge is fallible and consensus is rare. By implication, knowledge organization has to consider di...
متن کاملRepresenting operational semantics with enriched Lawvere theories
Many term calculi, like λ-calculus or π-calculus, involve binders for names, and the mathematics of bound variable names is subtle. Schönfinkel introduced the SKI combinator calculus in 1924 to clarify the role of quantified variables in intuitionistic logic by eliminating them. Yoshida demonstrated how to eliminate the bound names coming from the input prefix in the asynchronous π-calculus, bu...
متن کاملRepresenting Object Models as Theories
Although techniques for using formal speci cations have been progressing, methods for developing formal speci cations themselves have improved little. To alleviate this problem, we propose a parallel re nement approach to speci cation acquisition where the designer uses an object-oriented speci cation representation while an underlying speci cation composition system manipulates an equivalent t...
متن کاملRealms: A Structure for Consolidating Knowledge about Mathematical Theories
Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of formalized mathematics. We introduce the notion of a realm as a structure for consolidating knowledge about a mathematical theory. A realm contains several axiomatizations of a theory that are separately developed. V...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1990
ISSN: 0743-1066
DOI: 10.1016/0743-1066(90)90035-4